http://www.kitploit.com/2023/01/tai-e-easy-to-learnuse-static-analysis.html?amp=1
Tai-e - An Easy-To-Learn/Use Static Analysis Framework For Java